← SUMMARY OF THE BASIC ACOL SYSTEM P REQUIREMENTS