thanks! very close, except for https://en.wikipedia.org/wiki/Direct_function#:~:text=guards%20are%20evaluated%20in%20sequence https://en.wikipedia.org/wiki/Dire

thanks! very close, except for https://en.wikipedia.org/wiki/Direct_function#:~:text=guards%20are%20evaluated%20in%20sequence https://en.wikipedia.org/wiki/Direct_function#:~:text=guards... (seems like a degenerate, empty, dfn also behaves differently?)