Text this: Abstract Completion, Formalized