Logic - The Next Step