theorem Parenting.calm_hypervigilance_standard_asserted_is_false
theorem Parenting.calm_hypervigilance_standard_asserted_is_false(logic_is_actual : LogicIsActual)(ought_implies_can : ∀ p q, p obligated-to q → p can-bring-about q)(incompatible_psych_states : A (∀ p t, ¬ (p can-bring-about (p calm-at t ∧ p hypervigilant-at t)))): False