/* tucolegio: minimal */