The Logical Next Step