LICS paper with @trebor@types.pl accepted! πŸŽ‰