correct trait definition of properties