work on future syntax
working on purity spec and verification