3 ms·I see it more as an "Assert(x==2kj)".by contravariant 11y agoI see it more as an "Assert(x==2kj)".