Only power, then satisfies itself

Categories