What is hallucinogenic and exists for every group with order divisible by p^k?
A psilocybin p-subgroup.