Skeleton writing about polynomial bounds for explicit threshold function
constructions.