Recursive Reasoning With Linear