Implement System A.1