A implies B