the problem specification for the ride program