Fundamentals of story logic by Budniakiewicz