Work on AHM Abstractions