let
next is_strong a =
if
is_strong
then
Next
a
else
not_ (
Next
(not_ a))