SigEp Formal - Franki