INSYNC FORMAL