Added ideal semantics and report backups

added files to project directory to keep safe.