ltl-value

| By: Arya