Strike Type > Proof-like (1/3)