Logic Language Draft 4.1