Less redundancy of definitions