Better definition for hasIn