program(ja). 
assert(program(ja)).