Theory-based implementation