Missing thumb

theorem spark