Ruthlesscalculus