SAFE AND STABLE, CONCISE AND EFFICIENT