unit aspect of division, 57 assertions