#ifndef EVAL
#define EVAL
#include "proposition.h"
#include "parse.h"
char just_is_sound(prop_t prop, just_t just, lineSet_t lines);
#endif