See Twisted Alice Bundle for details.