Logic Language Draft 77.1