tail aspect of platypus, 2 assertions