Strike Type > Proof-like