flip = {1,...,20}

Heads(flip)

// Unit clause
1 Heads(f)