Definition of MICHAELMAS TERM.