assertImplementations