hot glue subgroup of glue, 2 assertions