Title: KLEE: Figures and Masks