7.2.3 IsIn