The `` essential '' form of the proof elides syntactic details , leaving a more conventional presentation :
The `` syntactic '' form of the proof elides essential details , leaving a more conventional presentation .