SOLの2つの柱は、ポンプがAを構築する場合、bonkはBを構築する