done
Fix some syntax errors.
Fixing propositionsMissing.