/* Nexus, generated by Mathigon Studio */