Rewrite noncompatible

I guess we should merge this, right?