Students: INTRODUCTION TO THE SPATIAL FORMALIZATION