Citrusbyte is now Theorem

by citrusbyte