mechanizers (26.24 Elementary)