Importing verify library for switch class!