execute _                        (And     : _ ) = errUnderflow "And"
execute _                        (And     : _ ) = errUnderflow "And"
execute _                        (And     : _ ) = errUnderflow "And"