is_available contract