Probligational view 3