first commit to Priority Encoders