One more thing @asmeurer should ``Basic(x).count_ops()`` return ``1`` or ``0``??