Mnoho implementací matematického ověřování má jedny z nejprokletějších věcí, jaké jste kdy viděli