testing ⊆ entity