[viraptor]

You noticed reusing premises, potentially reinforcing your choices. You also took time to analyse and write down your thoughts. I think it was useful in some ways even if you didn't use the output afterwards.