Simplified examples 1 and 2