Properly implement STABmons