Šf z > 4. Logic and Inference