Added fold(r)/3 & prop