nest aspect of martin, 7 assertions