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.

No more nonsense

Discusses the approach of the courts to the quantification of beneficial interests in the family home in the event of a relationship breakdown. Assesses the clarification provided by the Court of Appeal ruling in Fowler v Barron on whether the respondent was the sole beneficial owner of a property purchased with his former partner, by means of a significant cash contribution from him and a mortgage in both their names, focusing on whether he could rebut the presumption that they held the property as joint tenants in equity where it was registered in joint names. [From Legal Journals Index]

Watching the clock

Discusses the implications of the Court of Appeal ruling in Ashe v National Westminster Bank Plc on whether a mortgagee's right to possession ran from the date that the legal charge was made over property, meaning that attempts to enforce possession 12 years after the mortgage was agreed were statute barred. Considers the reasons for banks to delay possession, the application of adverse possession rules in this context and the issue of public interest. Advises mortgagees on the benefits of limiting rights to possession to only become actionable when mortgagors are in default to avoid claims becoming statue barred. [From Legal Journals Index]