Probligational view 1