Properly spec-ified and dialyzed