retrieve function of PLAIN should be (BS -> BS -> BS -> Bool)