Changed redefinitions again