power::=