argument valid premises logically imply