Update infinity.h