some proplog stuff