proof terms strategies updated