Strike Type > Proof-like (1/2)