Implements check_abstraction