3 ms·

I wasn't sure what WP stood for. My mind jumped to WordPress but that obviously wouldn't make sense. Turns out it stands for Weakest Precondition.

• dang 7y ago
  Hmm, good point. We've put weak preconditions in the title above.