SMS: Finite mathematical structures