Abstracting procedure