Deluxe strike

The professors didn't ever fully strike and continued to receive half their pay the whole time.