Просто вы дали ссылку на всю выкладку. Девятнадцать работ. Включая переводы, кстати. А пруфов, к сожалению, пока нет