Replace (@6) by (@0) for uniform notation