abstract jump