Superlogical versions · Alan is available