and don't you have already defined them elsewhere?