finished logic krr post; moved logic programming to new draft.