implied constraint, -1 index stuff