サブプログラムが組み合わせロジックになる保障はどこにあるんだ?