british open subgroup of open, 1 assertions