"definition definition" a bit tautologous...