Monotone: Work in progress