tail aspect of pony, 4 assertions