initial conditional body
