Partially impemented satisfies method