Delete specs for low-level implementation details