b ~> a
l ~> !a
l ~> b
t ~> a
t ~> l
t ~> b
d ~> !a
d ~> a
p ~> a
p ~> d