Towards the actual logic