super-Prode-compatible (no mws expr)