for G being strict Graph holds G in bool G