zeropower replies on comments by Sared