Finished explicitly naming hyps (variables).