Needing help with call_with_depth_limit/3

It’s interesting…in that formosan pdf it looks like Jesus is teaching the basics of modal logic…