Add a specification for bang methods