Logic 2.0