Debugging 3 shock case: checking FOC with value fuction from 2shock case