Incremental progress on PseudoCtoHol4 translation