do not take into account other than the declaration @require