PROT work in progress