Example of obtaining an explicit locus