Learn more about cloning repositories
You have read-only access
use forall() to eliminate one more var
