Porn: suppose n