An experimental library for event logic