More comments on Abstraction