Axiom hp : Set.
Axiom cont : nat -> hp -> Prop.
Axiom sconj : (hp -> Prop) -> (hp -> Prop) -> hp -> Prop.
Axiom sconjImpl : forall h A B,
(sconj A B) h -> forall (A' B': hp -> Prop),
(forall h', A h' -> A' h') ->
(forall h', B h' -> B' h') ->
(sconj A' B') h.