Tag: signs inproofs logic names - Vellabox