Example: 1FL bound to 2BXE