/**
 * Process the appropriate information using Boyelsky-Smithston lemma.
 */
void do_all_the_work (int, double, char*);