Porn: real deducing