04:29:57 <br-m> <neptunian:unredacted.org> Has anyone here done work involving LPN hardness assumptions?