Building worlds with logic.