adds clause form + printing
adds stuff