How to write a derivability judgment and what does it mean?