Hasty Logic view 3