R4 en calcul tuple