Implement FA and FA verification