Don't you want ```operate[U]``` here?