命題コレクションだけで十分です