synthetic opal subgroup of opal, 1 assertions