Add basic order facts about Abs