Use explicit constraints