Mathematical notation in formal specification: Too difficult for the masses? [Correspondence]

The phrase “not much mathematics required” can imply a variety of skill levels. When this phrase is applied to computer scientists, software engineers, and clients in the area of formal specification, the word “much” can be widely misinterpreted with disastrous consequences. A small experiment in reading specifications revealed that students already trained in discrete mathematics and the specification notation performed very poorly; much worse than could reasonably be expected if formal methods proponents are to be believed.

Mistake, frustration and implied conditions in leases

Discusses the Court of Appeal decision in Graves v Graves on determination of a tenancy by reason of common mistake and frustration. Reviews earlier case law regarding the effects on a contract of a common mistake or frustrating event. Considers the effect of the common mistaken belief held by the parties in Graves when executing a tenancy agreement that the tenant would be entitled to housing benefit, in particular whether by reason of it a condition was implied into the tenancy that the contract would be terminated if housing benefit was unavailable.

Barriers to effective pain management in sickle cell disease

Sickle cell disease (SCD) is a long-term condition that would benefit from a long-term conditions approach to its care and management. SCD is growing in prevalence, affecting 10,000-12,000 people in the UK, with SCD sufferers having an increased life expectancy from in the past. The most problematic aspect of managing SCD is management of the pain from vaso-occlusive crises. Vaso-occlusive pain is the most common reason for hospital admissions in people with SCD and accounts for large numbers of accident and emergency (A&E) attendances. A literature review was carried out to examine the management of vaso-occlusive pain in SCD. The review identified three main barriers to effective pain management in SCD: the manifestation of vaso-occlusive pain, the sociocultural factors affecting pain assessment, and the concerns regarding addiction and pseudo-addiction. Addressing these barriers will allow people with SCD to have their pain managed more effectively, improve their quality of life and potentially reduce A&E attendances and admissions to hospital.