pr f ?a !p , BrSn vin 42 . pr k:a , allt R:q4.