These definitions should go into a different cell.