Template:Integral domain metaproperty dissatisfaction