Skyrim in logic