pure methanol subgroup of methanol, 1 assertions