Improve documentation of phi elimination