Building worlds through logic.