Logic Language Draft 3.1