tubing aspect of cornet, 1 assertions