rewrite of hy's meth in hy