https://prophecyforum.com/bible-prophecy/types-and-antitypes/