Some possible errors, marked w/ TODO: