global constraints done (though me might actually want to have short facilities after all..)