initial commit

Does `m1 == m2` work? If it does, can you explicitly show it in a test?