Definition of Walensis