Any two known concepts automatically make a sound definition.