type aspect of sake, 3 assertions