asserts implementation of