program(ja). 
assert program(ja).