Argument structure

Checks whether a case actually holds: premises, logic, and what would break it.