"Is" is a library for checking the validity of the allegations.