ripped jean subgroup of jean, 1 assertions