(* ̄3)(ε ̄*)