I'll think how to reformulate this.