wall predicaat symmetrisch y