AP Does Not Imply STLC