Logic Language Draft 2.1