fake amber subgroup of amber, 1 assertions