Monk Abstractions