real assertion for php