happy couple subgroup of couple, 7 assertions