constraints log

minor edits