(C) isn't correct but otherwise this looks trivially correct. :)