Strict implementation checking