They represent administrable tools for challenging and judging the validity of already-issued software patents.