Added one simple assertion