All constraints enforced, better indication of whats going on

I'll write a paragraph about the program now