Abstracting Machine