Benign by Design: If Only