Issue #3. Introduce precondition
Merge branch 'issue_3'