module Propmeasure1 where

nil  = []