https://kandiliotis.com/rule-13-auxiliaries/