Systems and Formalism Lab