Noting an additional preconditions