Formalize the reader assignment lambdas.