predicate impli(
	var bool: x ::promise_ctx_antitone,
	var bool: y ::promise_ctx_monotone
) =
	not x \/ y;