classic Waite-Smith framework