the same site is the home of the thomas paine memorial museum mcalister's p theorem has been used to characterize f inverse semigroups as well