synthetic emerald subgroup of emerald, 3 assertions