Theory Completion Forms