sqrtsensei‘s Following are private.