G_m
An environment for assumptions