markovlambdaschoenfinkellifeverilog