re: #381 LudwigVanQuixote

I’ve actually gotten involved with a defense related problem. But, it is a very hard problem that is quite engrossing.

Glad to see you’re doing your part to keep us safe.