let is_data m = (Mark.is_included Mark.data (user_mark m))