Python Property Based Testing For Dementia