Serena (extended version)