Almost sure modal logic of Kripke frames with a functional relation

We consider the random labelled Kripke frames distributed uniformly on the set of frames on a fixed set of n points that validate the modal logic SL. The almost sure logic SLas is the set of all formulas that are valid in the random SL-frame on n points with probability approaching to one as n to infinity. We show that SLas = SL.