Menatal addition: A test of three verification models

Abstract
No abstract available