Question:
A kind of Prov.
Answer:

ATL

Length:

3