Added the availability constraint!