premises logically imply conclusion