Writing filler for path theorems.