Ett logiskt bindande språk Ar der,