shell aspect of lobster, 11 assertions