follows #inequality