Add some ltl for aud and ee