Minicourse on Thompson's group F