"We show that some known classical results have particularly simple derivations within the Ashtekar formalism. These include Witten's positive energy theorem..."