has ex: has ex, eq null: has ex, measure null: has ex, neq null: has ex, measure non-null: not has ex: not has ex, eq null: not has ex, measure null: has why, eq value: has why, neq value: