大前提としたら?