Add description of weak and strong specifications