I should also note if DERPixon is a registered trademark or if there are any legal issues with using it. But since the term is obscure, it's likely safe for general discussion.