Self-Reference & Logic