Fully implemented insertion