The derivative from first principles