n
e
w
e
q
u
i
v
a
l
e
n
t
i
a
l
f
o
r
m
u
l
a
s
h
o
w
a
n
s
w
e
r
s
h
o
w
τ
s
e
t
I
s
t
h
e
f
o
r
m
u
l
a
a
t
a
u
t
o
l
o
g
y
?
E
E
E
E
q
r
p
r
E
q
E
p
E
q
r
τ
s
e
t
o
f
t
h
e
f
o
r
m
u
l
a
:
{
q
,
r
,
E
p
E
q
r
,
E
q
E
p
E
q
r
,
E
E
q
r
p
,
E
E
E
q
r
p
r
,
E
E
E
E
q
r
p
r
E
q
E
p
E
q
r
}