proof of ordinal.