Removed Bool_to_hProp due to error