More-detailed main.m