Progol Implementation