Why is this a Precondition and not an assertion? Will this print a stack trace? Shouldn't this check be a bit more formal and before this method is called? Maybe I don't know what I'm talking about.