More work on skrj proofs