Since this isn't used anywhere in golog, I think we should remove it.