Paper 1,2,3, and foundations for: 'Principia Mathematica Imaginis'.
Kartik Jangid (Sat,) studied this question.