Add specification for edge cases