Resolution program and proposition files