A general form of contractive idempotent functionals on coamenable locally compact quantum groups is obtained, generalising the result of Greenleaf on contractive measures on locally compact groups. The image of a convolution ...