wittens equations