rule a coincirule

cross-posted from: https://lemm.ee/post/32174305

Not a Coincidence