This is an alt-not a main.