Definition of Runcinus