Ord on BR a is defined to be undefined