argument valid premises logically