valid marriage subgroup of marriage, 5 assertions