Pascal by decision