@Adda0 Yes! Personally, I think the best of the three options is the third one.

@Adda0 Yes! Personally, I think the best of the three options is the third one. _Originalmente postado por @bruderjakob17 em https://github.com/VeriFIT/mata/issues/587#issuecomment-3641679117_