coloquei algumas assinaturas de predicados e uma de função