Analysis: ‘A formal disproof of the Greenhouse Effect’