When the UK Supreme Court ruled in R (Miller) v The Prime Minister (2019) that Boris Johnson's prorogation of Parliament was unlawful, the judiciary checked the executive's power — a direct application of the separation of powers in action.