³Note that there are more assumptions that need to be checked by the program. We leave this as an exercise for the reader.