Text this: Credibilistic Programming :