Abstracting Abstract Control