Definition of Marinarius