Benedict pushing assignment