The ultimate user guide to the bucanon applet and a descriptive summary to the prime-based boolean and theory-algebraic canonizations for propositional logic.