Strike Type > Proof-like (3/3)