Editing John Major (section)

===Public commemoration===
 {{multiple image
 | total_width = 350
 | footer = Two plaques commemorating John Major in South London.
 | image1 = John_Major_plaque_at_St_Helier_Hospital.png
 | alt1 = 
 | caption1 = Plaque on St Helier Hospital, Sutton
 | image2 = John_Major_plaque_in_Archbishop's_Park,_London.jpg
 | alt2 = 
 | caption2 = Plaque in Archbishop's Park, Lambeth
 }}
An [[oil painting]] of Major, painted in 1996 by [[June Mendoza]], is part of the Parliamentary collection,<ref>{{cite web|url=https://www.parliament.uk/worksofart/artwork/june-mendoza/john-major--prime-minister/5344 |title=Art in Parliament: John Major MP |publisher=Parliament of the United Kingdom |date=20 April 2010 |access-date=17 April 2020}}</ref><ref>{{cite web|url=https://www.parliament.uk/about/art-in-parliament/news/2017/april/artwork-john-major/ |title=April Artwork of the Month: 'John Major MP' by June Mendoza |date=1 April 2017 |access-date=17 April 2020}}</ref> as is a bronze bust by Anne Curry, unveiled in the [[Members' Lobby]] on 16 October 2017.<ref name="Murphy">{{cite web|url=https://www.standard.co.uk/news/politics/exclusive-mps-splash-out-250000-of-public-money-on-vanity-portraits-9056130.html|title=Exclusive: MPs splash out £250,000 of public money on vanity portraits|last=Murphy|first=Joe|date=13 January 2014|website=[[Evening Standard]]|access-date=13 January 2014}}</ref><ref>{{cite web|url=https://www.parliament.uk/worksofart/artwork/anne-curry/sir-john-major/s529|title=Art in Parliament: John Major bust|publisher=Parliament of the United Kingdom |date=20 April 2010 |access-date=17 April 2020}}</ref><ref>{{cite web|url=https://www.parliament.uk/business/committees/committees-archive/acwa/johnmajor/|title=Bust of Sir John Major KG CH unveiled|publisher=Parliament of the United Kingdom|access-date=17 April 2020}}</ref> There is another bust of Major in the [[Norman Shaw Buildings|Norman Shaw Building North]] by [[Neale Andrew]], sculpted in 1993 and installed in 2004; however, this is not accessible to the public.<ref>{{cite book|title= British Sculptors of the Twentieth Century|editor=Alan Windsor|year= 2017|publisher=Routledge}}</ref><ref>{{cite web|url=https://publications.parliament.uk/pa/cm200405/cmselect/cmcomm/65/6507.htm|title=Twenty-seventh report of the House of Commons Commission 2004/05|publisher=Houses of Parliament|access-date=20 April 2020|archive-date=2 August 2020|archive-url=https://web.archive.org/web/20200802154803/https://publications.parliament.uk/pa/cm200405/cmselect/cmcomm/65/6507.htm|url-status=dead}}</ref>

A large bust of John Major by [[Shenda Amery]] in Huntingdon Library was unveiled by his wife, Norma, in 1993.<ref>{{cite web|url=https://sculptors.org.uk/artists/shenda-amery|title=SHENDA AMERY MRSS|publisher=Royal Society of Sculptors|access-date=17 April 2020}}</ref>

A painting of John Major by Diccon Swan is on display at the [[Carlton Club]], and was unveiled by his wife Norma in 1994.<ref>{{cite web|url=http://www.theatrex.net/xfer_msky/e_port_h/Events/2003/Diccon_archive.htm|title=Diccon Swan|publisher=Hockaday Museum of Art|date=July 2003| access-date=14 August 2020}}</ref><ref>{{cite web|url=https://www.independent.co.uk/voices/quotes-of-the-week-1439318.html |archive-url=https://ghostarchive.org/archive/20220613/https://www.independent.co.uk/voices/quotes-of-the-week-1439318.html |archive-date=13 June 2022 |url-access=subscription |url-status=live|title=Quotes of the Week|work=The Independent|date=29 May 1994| access-date=14 August 2020}}</ref> The [[National Portrait Gallery, London|National Portrait Gallery]] holds two paintings of Major – the first official portrait of him as prime minister, painted by Peter Deighan in 1994,<ref>{{cite news|url=https://www.irishtimes.com/news/diana-portrait-by-irish-artist-1.117291 |title=Diana portrait by Irish artist|newspaper=The Irish Times|date=20 December 1997| access-date=20 April 2020}}</ref><ref>Fotomax Vintage Photo of Mrs. Major unveiling a Portrait of John Major Painted</ref> and one of John and Norma by [[John Wonnacott]], painted in 1997.<ref>{{cite web|url=https://www.npg.org.uk/collections/search/portrait/mw09949/John-Major-Norma-Major |title=Portraits – John Major, Norma Major|publisher=National Portrait Gallery|date=20 July 1993| access-date=17 April 2020}}</ref>

There is a large John Major Suite at [[The Oval]], home to Surrey County Cricket Club; the venue also contains a painting of Major.<ref>{{cite web|url=https://events.kiaoval.com/room/john-major-room/ |title=John Major Room|publisher=Kia Oval|access-date=20 April 2020}}</ref>

There is a 'Heritage in Sutton' plaque on St Helier Hospital, where John Major was born in 1943,<ref>{{cite web|url=http://www.plaquesoflondon.co.uk/page2902.htm|title=Plaques of London – John Major|website=Plaques of London|access-date=17 April 2020|archive-date=17 April 2021|archive-url=https://web.archive.org/web/20210417194914/http://www.plaquesoflondon.co.uk/page2902.htm|url-status=dead}}</ref> and a plaque commemorating him in [[Archbishop's Park]] next to [[Lambeth Palace]], included as part of the Lambeth Millennium Pathway. There are also various plaques commemorating facilities opened by John Major: at Brampton Memorial Centre, [[Brampton, Cambridgeshire|Brampton]] (opened 1988),<ref>{{cite web|url=https://www.iwm.org.uk/memorials/item/memorial/8409|title=Brampton Memorial Centre|publisher=Imperial War Museum|access-date=20 April 2020}}</ref> [[Hamerton Zoo Park]], Hamerton (1990),<ref>{{cite web|url=https://thesabbaticalguide.com/hamerton-zoo-park/|title=Hamerton Zoo Park|publisher=The Sabbatical Guide|author=Ben Reeve|date=30 December 2018|access-date=20 April 2020|archive-date=2 August 2020|archive-url=https://web.archive.org/web/20200802190204/https://thesabbaticalguide.com/hamerton-zoo-park/|url-status=dead}}</ref> [[Cadbury World]], Birmingham (1991),<ref>{{cite web|url=https://www.flickr.com/photos/ell-r-brown/22105927353 |title=Cadbury World plaque|publisher=flikr|date=2 November 2015| access-date=17 April 2020}}</ref> a tree commemorating the restoration of the River Mill pub, [[Eaton Socon]],<ref>{{cite web|url=https://st-neots.ccan.co.uk/content/catalogue_item/tree-planted-john-major-eaton-socon-river-bank-cut-july-2018 |title=Tree planted by John Major on the Eaton Socon river bank has been cut down|publisher=Cambridgeshire Community Archive Network|date=22 July 2018| access-date=22 May 2020}}</ref> the gardens at Hinchingbrooke Hospital, Huntingdon (2009),<ref>{{cite web|url=http://e-l-d.co.uk/portfolio_page/sensory-garden-hinchingbrooke-hospital/ |title=Sensory Garden for Children's Unit, Hinchingbrooke Hospital, Huntingdonshire|publisher=ELD| access-date=22 May 2020}}</ref> the North Terminal extension at [[Gatwick Airport]] (2011),<ref>{{cite web|url=https://www.bbc.co.uk/news/uk-england-15769869 |title=Major opens Gatwick North Terminal extension|publisher=BBC|date=17 November 2011| access-date=20 April 2020}}</ref> Huntingdonshire Football Association headquarters, Huntingdon (2015),<ref>{{cite web|url=http://www.huntsfa.com/news/2015/sep/17/sir-john-major-opens-new-hunts-fa-headquarters|title=Sir John Major opens new Hunts FA headquarters|publisher=Hunts FA|date=17 September 2015|access-date=20 April 2020}}</ref> and [[Alconbury Weald]] cricket pitch (2019).<ref>{{cite web|url=https://www.cambridgenetwork.co.uk/news/more-600-visitors-attend-first-ever-alconbury-weald-big-summer-bash |title=More than 600 visitors attend the first ever Alconbury Weald Big Summer Bash|publisher=Cambridge Network|date=26 June 2019| access-date=20 April 2020}}</ref>

In 2013, the town of [[Candeleda]] in Spain named a street after John Major ({{lang|es|Avenida de John Major}}{{--)}}, since Major has holidayed there for many years.<ref>{{cite web|url=https://www.abc.es/local-castilla-leon/20130831/abci-john-mayor-conquista-candeleda-201308311736.html?ref=https%3A%2F%2Fwww.google.co.uk%2F|title=John Major "conquista" Candeleda|publisher=ABC Castile y Leon|date=31 August 2013| access-date=17 April 2020}}</ref><ref>{{cite web|url=https://www.bbc.co.uk/news/uk-politics-40658560 |title=How to holiday like a prime minister|publisher=BBC|date=25 July 2017| access-date=17 April 2020}}</ref> Major Close, in [[Loughborough Junction]] near where John grew up, is also named after him; the street was to be called 'Sir John Major Close' but this long name breached council guidelines.<ref>{{cite web|url=https://www.standard.co.uk/news/theres-a-john-major-road-ahead-but-even-he-hasnt-noticed-6643487.html |title=There's a John Major road ahead – but even he hasn't noticed|work=Evening Standard|date=24 October 2007| access-date=18 April 2020}}</ref>

In [[type theory]], [[Homogeneous relation|heterogeneous equality]], that is, a form of equality predicate defined for pairs of elements of arbitrary type, not just from the same type, is sometimes referred to as ''John Major's equality'' (JMeq), following [[Conor McBride]]:<ref>{{cite thesis |author=Conor McBride|title=Dependently Typed Functional Programs and their Proofs |url=http://strictlypositive.org/thesis.pdf |type=PhD thesis |chapter= 5.1.3|publisher= [[University of Edinburgh]]|date= 1999}}</ref>
:John Major's 'classless society' widened people's aspirations to equality, but also the gap between rich and poor. After all, aspiring to be equal to others than oneself is the politics of envy. In much the same way, <math>\simeq</math> forms equations between members of any type, but they cannot be treated as equals (ie substituted) unless they are of the same type. Just as before, each thing is only equal to itself.