adding triple abstraction