Is there a reason these are being redefined here?