Formals Checklist