sagetriple.x is following