User blog:KurohaKafka/Rathjen's ψ and Deedlit's ψ