Details at Work in Programming