Symbol: f_always_true