Mariner Definition History