#27: code is correct, tests were wrong.

all three tests were failing with the temporal operator H on w1. Since there are no worlds before w1, trivially every statement about "all worlds before w1" is TRUE, because there is no particular world in the set of "all worlds before w1" in which this statement might be false (because there simply are no worlds before w1 at all)

Closes #27.