Use preconditions

verify arguments of public methods