Adding Available assertion