Go Formal for Justice