mit 42