Time estimation predicts mathematical intelligence