[r6rs-discuss] [Formal] Plausible alists

---
This message is a formal comment which was submitted to formal-comment_at_r6rs.org, following the requirements described at: http://www.r6rs.org/process.html
---
Name        : Andre van Tonder
Email       : andre at het.brown.edu
Type        : defect
Priority    : trivial
Component   : Mutable list arguments
Version     : 5.91
Pages       : 124
Dependencies: None
Summary:
--------
Slight defect in plausible alist description.
Description:
------------
Point 1 does not check that (car x) is a pair as is done in point 3.
Suggestion:
-----------
1) x is a pair, n is 0, and there exists a time t_1 in (t_0, t_f] such that
    (car x) is a pair at time t_1.