Ditto Ben's question, and if these two guys should always be the same, might we not define them somewhere else and just use the definition twice?