Python Property Based Testing For Dyslexia