Added skeleton code for final two obligs