Is the Talos Principle hard?