Truth table helpers.