Requirements definitions (what is what)
Initial completability checks

It *seems* to work… kinda ugly though.