Scarf | theorem-style