Rewrite ++lyre (miso commute with woof)