instance attribute spec