Issue #3. Introduce precondition