[|$(a)|] ≡ a