Information from Miranda Practice Course here.