identity_fn_applied_twice
andb_eq_orb