Logic 1.0