Pero este predicado es indefinido para cualquier sentencia que no "florezca" en sentencias más simples que no contengan un predicado de verdad.