The top documents tagged [future formal classes]