white opal subgroup of opal, 3 assertions