true joy subgroup of joy, 7 assertions