Efficiency in MASTA User Guide

,