Yes, the point of mathematics is so that a gnat could do it. These abstractions are about making life easy and making things that previously needed bespoke solutions to be more mechanical.