「to doは解像度を上げるべき」とかもAから演繹的に導出可能(=より本質的なのはAの事項)である気がする