interdefinabilities