Added require for completeness