theorem Parenting.calm_hypervigilance_standard_refuted
theorem Parenting.calm_hypervigilance_standard_refuted
(ought_implies_can : ∀ p q, p obligated-to q → p can-bring-about q)
(incompatible_psych_states : ∀ p t, ¬ (p can-bring-about (p calm-at t ∧ p hypervigilant-at t)))
(some_young_parent : ∃ p t, YoungParent.At p t)
: ¬ CalmHypervigilanceParentingStandard