Are "partition" and "peerleader"/"peer leader" known terms?