! A Derivable PJ Set