Added requirement for mkprop