Hasty Logic view 1