( Denna kalkyl asser endast att wisa detrelativa