Copied Completion-Boolean'ed Schema

from backend branch in student repo to backend repo