pr t:a ; Salt :S:t