Reaction mechanism for fluorine etching of silicon.