Email Record: Introduction to logic for systems modelling /