Fully refines two example functions!