Example fact using callbacks