Interface proof