markovlambdaschoenfinkelboolean