msat

formulas

type proof