Finished one more, but it looks like isNonreflixive is wrong