Some logical problems with interface