label renamed to def