Source: https://iuuk.mff.cuni.cz/~andrew/EAP/Murphy_p226-7.pdf