VERIFYING INTERFACE PROTOCOLS...