properly implement daemon! wait calculus midterm...