Strike Type > Proof-like (2/3)