Basic logic working. Need to reorganize code a bit, and then generate the SpaceTimes.