Similar to "Anna: Extended Version"