all_is_true