Hylättäisiinkö paperit, jos ne käyttäisivät lakikoodia, jossa on muuttuvat nimet, kreikkalaisella pseudokoodilla?