TODO: todo propagation