How to ask this now ? <| sep |> Yeah , but if anything I thought this cab was rare . <| sep |> If you treat it like a weapon , it ' s a weapon . I usually treat my guns as tools unless I ' m hunting , in which case they are very effective weapons <| sep |> The amount of time that it takes for urges to be easily discarded varies for person to person , and it often comes in waves . Personally I need to be on guard after day 25 since big waves will probably come . <| sep |> Definitely . I know there are multiple people in the community researching formal verification for contracts , but verifying specifications has received less attention so far . Don ' t be fooled , though it ' s really tough to get right . There ' s a reason compilers etc aren ' t formally verified as a matter of course .