I guess these are more terse and make more sense