Molinara: trueness to type