created modified [[diary and thoughts]] Notes [[Messing around with Prompts]] [[Proving Philosophy –When Theorems met Theories]]