root aspect of fig, 4 assertions