clarified butter subgroup of butter, 4 assertions