we need to prove t [(id)] [or equivalent t]

Synopsis:

we need to prove term

Pre-condition:

Da Fare

Action:

Da Fare

New sequents to prove:

None.