Placeholder for verification and corresponding test