The FACTEX Procedure

[continuerule]