Logic Language Draft 1.1