This is for a college logic class. Never heard of it before. Thanks for checking.