(* ̄3 ̄)