Merge remote-tracking branch 'origin/development' into sdf
Merge remote-tracking branch 'origin/development' into sdf
Merge remote-tracking branch 'origin/ahm' into sdf
Removed an irrelevant comment
Merge remote-tracking branch 'origin/sdf' into ahm
Added natural numbers and communication to syntax