Finished, except for implementing forced jumps