Software meant to enrich its creator often isn’t because of the pervasive captialist fear of alienating someone by expressing an opinion on one side of an issue. However, formally verified, thoroughly-vetted, open source software (most of which doesn’t exist because of pushback from corrupt governments and their corporate overlords) tasked with upholding the anonymity and objectivity of democracy would be undeniably political.