Use power assert