baby step: invert-has-mem-tm