No. 857 (simplified)

real; true; solid